Conceptual Model’s Validation Support

STUDY ID

TITLE

YEAR

SUPPORTING CENCEPT

STD-1

[30]

Formal Agility. How much of each?

2003

Studied XP practices from the prism of FM to show that how some XP practices can admit the integration of Formal Methods.

STD-2

[31]

Using a formal method to model software design in XP projects

2005

Successfully introduces X-Machine in XP for a succinct and accurate software system

STD-3

[32]

Applying XP Ideas Formally: The Story Card and Extreme X-Machines

2003

Present an approach of using XP story cards and transform those into formal specifications through X-Machine to produce high quality software products.

STD-4

[3]

Scrum Goes Formal: Agile Methods for Safety-Critical Systems

2012

Suggest that XP practices can successfully support the formal method and techniques

STD-5

[33]

Agile Specification Driven Development

2004

Present an approach of using TDD practice for specification driven development that leads towards quality software development.

STD-6

[34]

On the Use of XP in the Development of Safety-Oriented Hypermedia Systems

2003

Uses XP practices in the development of safety-oriented hypermedia systems with formal methods for exhaustive testing

STD-7

[35]

Formal Methods and Extreme Programming?

2003

Evaluated how formal methods overcome the lack of upfront specification and design practices in XP

STD-8

[36]

20 Years of Teaching and 7 Years of Research: Research When You Teach

2008

results from multiple experiments found that there was a measurable quality premium in using XP and uses extreme x-machines for producing high quality products

STD-9

[5]

Formal versus agile: Survival of the fittest?

2009

Suggest that XP practices can get benefit from formal methods

STD-10

[37]

Formal Extreme (and Extremely Formal) Programming

2003

Analyse how Formal Methods (FM) can interact with agile process XP, and suggest that XP practices can improved using FM. can